integral of (cos(x))^2